Store f :: s -> Store f s